Rewolucyjny dowód matematyczny doczeka się publikacji po 8 latach analiz
3 kwietnia 2020, 10:53Przed ośmiu laty ze świata matematyki nadeszła sensacyjna wiadomość – pojawił się dowód na prawdziwość hipotezy ABC. Jeśli jest on prawdziwy, to mamy do czynienia z największym osiągnięciem matematycznym bieżącego wieku. Autor dowodu, Shinichi Mochizuki z Uniwersytetu w Kioto, udostępnił olbrzymią 600-stronicową pracę na ten temat. I musiał czekać aż 8 lat nim ktokolwiek był w stanie ją przeanalizować.
Wciąż trwają analizy dowodu Mochizukiego
1 sierpnia 2016, 10:49Przed czterema laty Shinichi Mochizuki opublikował 500-stronicowy dowód matematyczny na prawdziwość hipotezy ABC. Jeśli dowód jest prawdziwy, to mamy do czynienia z największym osiągnięciem matematyki XXI wieku. Problem w tym, że nikt nie potrafi zrozumieć pracy Mochizukiego.
Oprogramowania idealne
17 sierpnia 2009, 11:48Australijska organizacja NICTA ogłosiła powstanie pierwszego w historii jądra systemu operacyjnego, które nie tylko zostało w całości matematycznie opisane, ale również przeprowadzono matematyczne dowody na to, iż każda z linii kodu jest w pełni zgodna ze specyfikacją.
Silnik rakietowy z rotującą detonacją (RDRE) przyszłością lotów kosmicznych?
28 lutego 2020, 12:39Wyniesienie ładunku w przestrzeń kosmiczną wymaga olbrzymich ilości paliwa. Loty pozaziemskie są przez to niezwykle kosztowne. Jednak nowy rodzaj silnika, zwanego silnikiem rakietowy z rotującą detonacją (RDRE – rotating detonation engine), może spowodować, że rakiety nie tylko będą zużywały mniej paliwa, ale będą też lżejsze i mniej skomplikowane.
Lek czy narkotyk? Pierwszy dowód na używanie lulka czarnego w świecie rzymskim
9 lutego 2024, 16:49Setki nasion lulka czarnego znalezionych w wydrążonej kości odkrytej w Houten-Castellum w Holandii to pierwszy jednoznaczny dowód na używanie tej rośliny w świecie rzymskim. Silnie trujący lulek znany był w starożytności nie tylko ze względu na zabójcze działanie, ale również dzięki właściwościom halucynogennym i uspokajającym. Jego stosowanie zalecali starożytni autorzy. Dotychczas nie było całkowitej pewności, czy nasiona znajdowane na stanowiskach z okresu rzymskiego trafiły tam przypadkiem czy celowo. Dopiero zmagazynowanie nasion w wydrążonej kości stanowi fizyczny dowód jego używania.
Ludzkie zęby sprzed 100 000 lat
15 października 2015, 09:34Zęby znalezione w jednej z jaskiń na południu Chin wskazują, że Homo sapiens dotarł na tereny obecnego Państwa Środka już 100 000 lat temu. Dotychczas większość naukowców uważała, że w tym czasie nasz gatunek nie oddalił się zbytnio od Afryki. To jedno z najważniejszych odkryć w Azji w ostatniej dekadzie - mówi archeolog Michael Petraglia z University of Oxford, który nie brał udziału w badaniach.
Najdłuższy dowód matematyczny w historii
1 czerwca 2016, 09:33Marijn Heule z University of Texas, Oliver Kullmann ze Swansea University oraz Victor Marek z University of Kentucky - były pracownik Uniwersytetu Warszawskiego, a obecny współpracownik Instytutu Podstaw Informatyki PAN - użyli superkomputera do przeprowadzenia pojedynczego matematycznego dowodu, uzyskując w ten sposób największy matematyczny dowód w historii. Jego zapisanie zajęło 200 terabajtów przestrzeni dyskowej.
Komórka zamiast superkomputera
8 września 2010, 15:50Moc obliczeniowa superkomputerów pozwala na rozwiązywanie bardzo złożonych problemów inżynieryjnych. Co jednak, kiedy istnieje potrzeba takich obliczeń w terenie? Inżynierowie MIT pokazali technologię, która pozwoli posłużyć się smartfonem zamiast superkomputera.
Pojedyncza mutacja nie wystarczy
29 września 2010, 10:38Ivana Božić, doktorantka z Uniwersytetu Harvarda, stworzyła model matematyczny, który pokazuje, że pojedyncza mutacja nie wystarczy, by sprowokować wzrost nowotworu. Średnio zwiększa ona tempo podziałów komórkowych o zaledwie 0,4%. Oznacza to, że [...] konieczna jest wolna, stała akumulacja wielu mutacji w jednej komórce na przestrzeni lat.
Splątanie czy kwantowa interferencja? – oto jest pytanie o fundament kwantowej rzeczywistości!
15 października 2018, 12:07We właśnie opublikowanym artykule dr hab. Paweł Błasiak z Instytutu Fizyki Jądrowej Polskiej Akademii Nauk (IFJ PAN) w Krakowie pokazał, jak z "cegiełek" klasycznej fizyki konstruować szeroko pojęte optyczne układy interferometryczne, wiernie odtwarzające najdziwniejsze przewidywania mechaniki kwantowej w odniesieniu do pojedynczych cząstek
« poprzednia strona następna strona » 1 2 3 4 5 6 7 …
